1

A family of rules for recursion removal

Year:
1976
Language:
english
File:
PDF, 616 KB
english, 1976
2

Specification and Transformation of Programs ||

Year:
1990
Language:
english
File:
PDF, 59.37 MB
english, 1990
3

On hierarchies of abstract data types

Year:
1983
Language:
english
File:
PDF, 1.68 MB
english, 1983